( الأصول التنزيلية والمحرزة ) الأصول العملية الشرعية تارة تكون مجرّد وظائف عملية بلسان إنشاء حكم تكليفي ترخيصي أو الزامي بدون نظر بوجه إلى الأحكام الواقعية ، وهذه أصول عملية بحتة . . وأخرى تبذل فيها عناية إضافية إذ تطعم بالنظر إلى الأحكام الواقعية ، وهذه العناية يمكن تصويرها بوجهين : أحدهما : « 1 » أن يجعل الحكم الظاهري بلسان تنزيله منزلة الحكم الواقعي ، كما قد يقال في أصالة الحلّ وأصالة الطهارة ، إذ يستظهر أنّ قوله « كلّ شيء لك حلال » أو « كلّ شيء لك طاهر حتّى تعلم . . . » يتكفّل تنزيل مشكوك الحلّيّة ومشكوك الطهارة منزلة الحلال الواقعي ومنزلة الطاهر الواقعي ، خلافا لمن يقول : إنّ دليل هذين الأصلين ليس ناظرا إلى الواقع بل ينشئ بنفسه حليّة أو طهارة بصورة مستقلة « 2 » .